Finite-state machine - PDFSEARCH.IO - Document Search Engine

Finite-state machine
Results: 655

#	Item
531	Three States and a Plan: The A.I. of F.E.A.R. Jeff Orkin Monolith Productions / M.I.T. Media Lab, Cognitive Machines Group http://www.jorkin.com If the audience of GDC was polled to list the most common A.I. techniques a Add to Reading List Source URL: alumni.media.mit.edu Language: English - Date: 2008-10-08 10:47:05 First-person shooters Games Application software A.I. Artificial Intelligence Planning Finite-state machine A.i. Windows games F.E.A.R. Digital media
532	Learning for Multi-Agent Decision Problems Geoff Gordon [removed] Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2005-07-11 12:13:37 Economic model Macroeconomic model Multi-agent system Artificial intelligence Ethology Computer science Cognition Intelligent agent Models of computation Automata theory Finite-state machine
533	Automated Test Generation for Industrial Erlang Applications Johan Blom Department of Computer Systems Uppsala University, Sweden Add to Reading List Source URL: www.erlang.se Language: English - Date: 2003-07-30 08:34:24 Theoretical computer science Software testing Extended finite-state machine Theory of computation Erlang distribution Finite-state machine Erlang Actor model Test case Computing Models of computation Software engineering
534	12 June 2014 ECOFIN Presidency statement Add to Reading List Source URL: www.consilium.europa.eu Language: English - Date: 2014-06-12 14:18:11 Southern Europe Western Europe Economic and Financial Affairs Council Extended finite-state machine European Union Europe Political philosophy Portugal
535	Flow Analysis for Verifying Properties of Concurrent Software Systems MATTHEW B. DWYER University of Nebraska Lincoln LORI A. CLARKE and JAMIESON M. COBLEIGH University of Massachusetts Amherst Add to Reading List Source URL: laser.cs.umass.edu Language: English - Date: 2008-09-29 10:52:38 Mathematics Formal methods Logic in computer science Models of computation Model checking Finite-state machine Formal verification Data-flow analysis Sequence Theoretical computer science Automata theory Applied mathematics
536	Department of Foundations of Computer Science ´ [8] Z. Esik and W. Kuich, Axiomatizing rational series, 8th Panhellenic Logic Symposium, Ioannina, 2011, 30–34. ´ Add to Reading List Source URL: www.inf.u-szeged.hu Language: English - Date: 2013-10-26 05:30:52 Mathematics Applied mathematics Combinatorics on words Tree automaton Descriptional Complexity of Formal Systems Finite-state machine Alphabet Regular tree grammar International Conference on Developments in Language Theory Formal languages Theoretical computer science Automata theory
537	derived several key results of the theory of automata in the axiomatic settings. THEORETICAL COMPUTER SCIENCE The research performed in the Department of Foundations of Computer Science lies in the intersection of algebr Add to Reading List Source URL: www.inf.u-szeged.hu Language: English - Date: 2010-05-13 07:14:20 Mathematics Combinatorics on words Applied mathematics Models of computation Tree automaton Alphabet Finite-state machine Theory of computation International Conference on Developments in Language Theory Formal languages Automata theory Theoretical computer science
538	Specification and Description Language (SDL) Definition Specification and description language (SDL) is an object-oriented, formal language defined by The International Telecommunications Union– Telecommunications Stan Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2013-05-01 14:33:18 Software engineering Software Models of computation Finite-state machine Modeling language Specification language Abstraction Specification Simple DirectMedia Layer Diagrams Specification and Description Language Computing
539	The Tempo Language User Guide and Reference Manual Nancy A. Lynch, Stephen J. Garland, Dilsun Kaynar, Laurent Michel, Alex Shvartsman Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Tec Add to Reading List Source URL: www.veromodo.com Language: English - Date: 2011-07-22 14:10:46 Theoretical computer science Cellular automata Formal methods Computer science Model checkers Automata-based programming Automata theory Model checking Finite-state machine
540	Microsoft Word - gecow_work.doc Add to Reading List Source URL: www.jucs.org Language: English - Date: 2006-11-02 05:53:32 Knowledge Systems science Automata theory Systems Cellular automaton Finite-state machine Complexity Control theory Adaptation Cybernetics Science Systems theory

UPDATE